<html>
<head><meta charset="utf-8"><title>I-prioritize #71344 `broken MIR` `NoSolution` sized array in · t-compiler/wg-prioritization · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/index.html">t-compiler/wg-prioritization</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html">I-prioritize #71344 `broken MIR` `NoSolution` sized array in</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="194656915"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194656915" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194656915">(Apr 20 2020 at 10:27)</a>:</h4>
<p><span class="user-group-mention" data-user-group-id="2403">@WG-prioritization</span> issue <a href="https://github.com/rust-lang/rust/issues/71344" title="https://github.com/rust-lang/rust/issues/71344">#71344</a> has been requested for prioritization.</p>



<a name="194692618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194692618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194692618">(Apr 20 2020 at 15:35)</a>:</h4>
<p>(deleted)</p>



<a name="194692684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194692684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194692684">(Apr 20 2020 at 15:36)</a>:</h4>
<p>Wrong thread <span aria-label="face palm" class="emoji emoji-1f926" role="img" title="face palm">:face_palm:</span></p>



<a name="194707712"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194707712" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194707712">(Apr 20 2020 at 17:29)</a>:</h4>
<p>This one also seems quite bad</p>



<a name="194707722"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194707722" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194707722">(Apr 20 2020 at 17:29)</a>:</h4>
<p>Regressed 4 days ago</p>



<a name="194821930"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194821930" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194821930">(Apr 21 2020 at 15:47)</a>:</h4>
<p>should we go with <code>P-high</code> for this one?</p>



<a name="194821981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194821981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194821981">(Apr 21 2020 at 15:47)</a>:</h4>
<p>hmm or <code>P-critical</code></p>



<a name="194821994"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194821994" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194821994">(Apr 21 2020 at 15:47)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="125250">@Wesley Wiser</span></p>



<a name="194858086"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858086" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858086">(Apr 21 2020 at 20:36)</a>:</h4>
<p>I'd say <code>P-high</code> only because there isn't a soundness issue here</p>



<a name="194858162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858162">(Apr 21 2020 at 20:37)</a>:</h4>
<p>But at the same time it breaks code that <em>is</em> used</p>



<a name="194858298"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858298" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858298">(Apr 21 2020 at 20:38)</a>:</h4>
<p>We can also mark <code>P-high</code> but keep an eye out when we run Crater for the beta</p>



<a name="194858316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Wesley Wiser <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858316">(Apr 21 2020 at 20:38)</a>:</h4>
<p>That's a great idea!</p>



<a name="194858469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858469">(Apr 21 2020 at 20:40)</a>:</h4>
<p><span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="194858489"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858489" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858489">(Apr 21 2020 at 20:40)</a>:</h4>
<p>Maybe we should somehow organize the issues we need to come back to later</p>



<a name="194858536"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/194858536" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> triagebot <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#194858536">(Apr 21 2020 at 20:40)</a>:</h4>
<p>Issue <a href="https://github.com/rust-lang/rust/issues/71344" title="https://github.com/rust-lang/rust/issues/71344">#71344</a>'s prioritization request has been removed.</p>



<a name="195681513"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195681513" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195681513">(Apr 29 2020 at 09:22)</a>:</h4>
<p>Crater is running (<a href="https://github.com/rust-lang/rust/issues/71609" title="https://github.com/rust-lang/rust/issues/71609">#71609</a>), we should come back to it in 2 or 3 days when it's done</p>



<a name="195693062"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195693062" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195693062">(Apr 29 2020 at 11:14)</a>:</h4>
<p><span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> sorry but I didn't get it, what's the relationship of that with this issue?</p>



<a name="195707694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195707694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195707694">(Apr 29 2020 at 13:25)</a>:</h4>
<p><span class="user-mention silent" data-user-id="255061">LeSeulArtichaut</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in/near/194858298" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in/near/194858298">said</a>:</p>
<blockquote>
<p>We can also mark <code>P-high</code> but keep an eye out when we run Crater for the beta</p>
</blockquote>



<a name="195707770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195707770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195707770">(Apr 29 2020 at 13:25)</a>:</h4>
<p>I don't quite remember why I said that <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="195707815"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195707815" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195707815">(Apr 29 2020 at 13:25)</a>:</h4>
<p>But I said it</p>



<a name="195709342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195709342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195709342">(Apr 29 2020 at 13:36)</a>:</h4>
<p>anyway this issue is fixed</p>



<a name="195709413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195709413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195709413">(Apr 29 2020 at 13:36)</a>:</h4>
<p>It still went into beta right?</p>



<a name="195709495"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195709495" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195709495">(Apr 29 2020 at 13:37)</a>:</h4>
<p>When did beta branch? I don't remember :D</p>



<a name="195709819"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195709819" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195709819">(Apr 29 2020 at 13:39)</a>:</h4>
<p>no idea either</p>



<a name="195709946"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195709946" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195709946">(Apr 29 2020 at 13:40)</a>:</h4>
<p>cc <span class="user-mention" data-user-id="116122">@simulacrum</span></p>



<a name="195710099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710099">(Apr 29 2020 at 13:41)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> btw, how can we figure out when beta branches so we avoid bothering you every time this kind of conversation arises? :)</p>



<a name="195710108"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710108" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710108">(Apr 29 2020 at 13:41)</a>:</h4>
<p>maybe that's documented somewhere?</p>



<a name="195710122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710122">(Apr 29 2020 at 13:41)</a>:</h4>
<p>Look at the origin/beta branch?</p>



<a name="195710185"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710185" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710185">(Apr 29 2020 at 13:42)</a>:</h4>
<p>or test things on beta, which is the preferred way</p>



<a name="195710279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710279">(Apr 29 2020 at 13:43)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in/near/195710185" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in/near/195710185">said</a>:</p>
<blockquote>
<p>or test things on beta, which is the preferred way</p>
</blockquote>
<p>Well I can't my computer is already busy (trying to) run tests <span aria-label="laughing" class="emoji emoji-1f606" role="img" title="laughing">:laughing:</span></p>



<a name="195710453"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710453" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710453">(Apr 29 2020 at 13:44)</a>:</h4>
<p>playground says it still ices on beta</p>



<a name="195710468"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710468" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710468">(Apr 29 2020 at 13:44)</a>:</h4>
<div class="codehilite"><pre><span></span><code>   Compiling playground v0.0.1 (/playground)
error: internal compiler error: broken MIR in DefId(0:9 ~ playground[d89e]::{{impl}}[0]::next[0]) ((_3.0: [u8; 12])): bad field access ([u8; _]: [u8; 12]): NoSolution
  --&gt; src/main.rs:13:14
   |
13 |         let (outname,) = ([0u8; 12+0],);
   |              ^^^^^^^

thread &#39;rustc&#39; panicked at &#39;no errors encountered even though `delay_span_bug` issued&#39;, src/librustc_errors/lib.rs:366:17
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace

error: internal compiler error: unexpected panic

note: the compiler unexpectedly panicked. this is a bug.

note: we would appreciate a bug report: https://github.com/rust-lang/rust/blob/master/CONTRIBUTING.md#bug-reports

note: rustc 1.44.0-beta.2 (b1162ed50 2020-04-25) running on x86_64-unknown-linux-gnu

note: compiler flags: -C codegen-units=1 -C debuginfo=2 --crate-type bin

note: some of the compiler flags provided by cargo are hidden

error: could not compile `playground`.

To learn more, run the command again with --verbose.
</code></pre></div>



<a name="195710483"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710483" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710483">(Apr 29 2020 at 13:44)</a>:</h4>
<p>This is what I thought. Thanks!</p>



<a name="195710591"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710591" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710591">(Apr 29 2020 at 13:45)</a>:</h4>
<p>yeah was checking the branch and it's not included</p>



<a name="195710610"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710610" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710610">(Apr 29 2020 at 13:45)</a>:</h4>
<p>I think this may be beta nominated</p>



<a name="195710623"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710623" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710623">(Apr 29 2020 at 13:45)</a>:</h4>
<p>I was about to say it :P</p>



<a name="195710685"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710685" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710685">(Apr 29 2020 at 13:46)</a>:</h4>
<p>It's 1 line long</p>



<a name="195710859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710859">(Apr 29 2020 at 13:47)</a>:</h4>
<p>yeah and risk zero because we need to normalize</p>



<a name="195710950"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195710950" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195710950">(Apr 29 2020 at 13:47)</a>:</h4>
<p>Should we beta-nominate already then?</p>



<a name="195711206"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711206" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711206">(Apr 29 2020 at 13:49)</a>:</h4>
<p>yes</p>



<a name="195711242"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711242" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711242">(Apr 29 2020 at 13:49)</a>:</h4>
<p>Done</p>



<a name="195711253"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711253" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711253">(Apr 29 2020 at 13:49)</a>:</h4>
<p><span class="user-mention" data-user-id="116122">@simulacrum</span> what's the procedure to do this?, sorry but I'm not 100% sure ...</p>



<a name="195711317"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711317" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711317">(Apr 29 2020 at 13:50)</a>:</h4>
<p>just add the label to whatever PR fixed it on master</p>



<a name="195711318"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711318" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711318">(Apr 29 2020 at 13:50)</a>:</h4>
<p>ahh <span class="user-mention" data-user-id="255061">@LeSeulArtichaut</span> unsure what you did but if you know the way <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="195711350"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711350" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711350">(Apr 29 2020 at 13:50)</a>:</h4>
<p>Well I just added the <code>beta-nominated</code> label on the fix PR</p>



<a name="195711355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711355">(Apr 29 2020 at 13:50)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116122">simulacrum</span> <a href="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in/near/195711317" title="#narrow/stream/227806-t-compiler.2Fwg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in/near/195711317">said</a>:</p>
<blockquote>
<p>just add the label to whatever PR fixed it on master</p>
</blockquote>
<p>we probably want to reopen it also?</p>



<a name="195711413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711413">(Apr 29 2020 at 13:50)</a>:</h4>
<p>Not sure, I've seen merged PRs with the label</p>



<a name="195711414"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711414" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711414">(Apr 29 2020 at 13:50)</a>:</h4>
<p>no need really but <span aria-label="shrug" class="emoji emoji-1f937" role="img" title="shrug">:shrug:</span></p>



<a name="195711451"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711451" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711451">(Apr 29 2020 at 13:51)</a>:</h4>
<p>ok</p>



<a name="195711476"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711476" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711476">(Apr 29 2020 at 13:51)</a>:</h4>
<p>if we have a beta-nom'd PR there's no need for an issue</p>



<a name="195711573"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711573" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711573">(Apr 29 2020 at 13:51)</a>:</h4>
<p>T-compiler meeting is tomorrow right?</p>



<a name="195711686"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711686" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711686">(Apr 29 2020 at 13:52)</a>:</h4>
<p>I'm a bit lost with the lockdown <span aria-label="big smile" class="emoji emoji-1f604" role="img" title="big smile">:big_smile:</span></p>



<a name="195711921"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195711921" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> simulacrum <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195711921">(Apr 29 2020 at 13:53)</a>:</h4>
<p>yes, always thursdays</p>



<a name="195712054"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195712054" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Léo Lanteri Thauvin <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195712054">(Apr 29 2020 at 13:54)</a>:</h4>
<p>This means we have pre-meeting today <span aria-label="eyes" class="emoji emoji-1f440" role="img" title="eyes">:eyes:</span></p>



<a name="195714265"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize%20%2371344%20%60broken%20MIR%60%20%60NoSolution%60%20sized%20array%20in/near/195714265" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/227806-t-compiler/wg-prioritization/topic/I-prioritize.20.2371344.20.60broken.20MIR.60.20.60NoSolution.60.20sized.20array.20in.html#195714265">(Apr 29 2020 at 14:06)</a>:</h4>
<p>yes, we do <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>